Arslanov, Marat M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Enumeration reducibility and the problem of the nontotal property of e-degrees

Arslanov, Marat M., Lempp, Steffen

Year:

1999

Language:

english

File:

PDF, 617 KB

english, 1999

2

Splitting and non-splitting in the difference hierarchy

ARSLANOV, MARAT

Journal:

Mathematical Structures in Computer Science

Year:

2018

Language:

english

File:

PDF, 120 KB

english, 2018

3

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Σ2 Induction and cuppable degrees

Arslanov, Marat M., Lempp, Steffen

Year:

1999

Language:

english

File:

PDF, 450 KB

english, 1999

4

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Open problems

Arslanov, Marat M., Lempp, Steffen

Year:

1999

Language:

english

File:

PDF, 155 KB

english, 1999

5

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Hyperarithmetical functions and algebraicity

Arslanov, Marat M., Lempp, Steffen

Year:

1999

File:

PDF, 488 KB

1999

6

On Downey's conjecture

Arslanov, Marat M., Kalimullin, Iskander Sh., Lempp, Steffen

Journal:

Journal of Symbolic Logic

Year:

2010

Language:

english

File:

PDF, 376 KB

english, 2010

7

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || The proof-theoretic strength of the Dushnik-Miller Theorem for countable linear orders

Arslanov, Marat M., Lempp, Steffen

Year:

1999

Language:

english

File:

PDF, 103 KB

english, 1999

8

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Weak presentations of fields not extendible to recursive presentations

Arslanov, Marat M., Lempp, Steffen

Year:

1999

File:

PDF, 739 KB

1999

9

There is No Low Maximal D.C.E. Degree

Marat Arslanov, S. Barry Cooper, Angsheng Li

Journal:

Mathematical Logic Quarterly

Year:

2000

Language:

english

File:

PDF, 155 KB

english, 2000

10

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Compositions of permutations and algorithmic reducibilities

Arslanov, Marat M., Lempp, Steffen

Year:

1999

Language:

english

File:

PDF, 230 KB

english, 1999

11

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Polynomial-time versus computable Boolean algebras

Arslanov, Marat M., Lempp, Steffen

Year:

1999

File:

PDF, 1.21 MB

1999

12

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Preface

Arslanov, Marat M., Lempp, Steffen

Year:

1999

Language:

english

File:

PDF, 35 KB

english, 1999

13

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Jumps of Ʃ02-high e-degrees and properly Ʃ02 e-degrees

Arslanov, Marat M., Lempp, Steffen

Year:

1999

File:

PDF, 472 KB

1999

14

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Enumeration reducibility and the problem of the nontotal property of e-degrees

Arslanov, Marat M., Lempp, Steffen

Year:

1999

File:

PDF, 617 KB

1999

15

Interpolating d-r.e. and REA degrees between r.e. degrees

Marat Arslanov, Steffen Lempp, Richard A. Shore

Journal:

Annals of Pure and Applied Logic

Year:

1996

Language:

english

File:

PDF, 2.14 MB

english, 1996

16

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Σ2 Induction and cuppable degrees

Arslanov, Marat M., Lempp, Steffen

Year:

1999

File:

PDF, 450 KB

1999

17

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Priority method in generalized computability

Arslanov, Marat M., Lempp, Steffen

Year:

1999

File:

PDF, 385 KB

1999

18

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Open problems

Arslanov, Marat M., Lempp, Steffen

Year:

1999

File:

PDF, 155 KB

1999

19

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || The proof-theoretic strength of the Dushnik-Miller Theorem for countable linear orders

Arslanov, Marat M., Lempp, Steffen

Year:

1999

File:

PDF, 103 KB

1999

20

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || List of contributors

Arslanov, Marat M., Lempp, Steffen

Year:

1999

File:

PDF, 55 KB

1999

21

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Compositions of permutations and algorithmic reducibilities

Arslanov, Marat M., Lempp, Steffen

Year:

1999

File:

PDF, 230 KB

1999

22

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Preface

Arslanov, Marat M., Lempp, Steffen

Year:

1999

File:

PDF, 35 KB

1999

23

Relative enumerability in the difference hierarchy

Arslanov, Marat M., Laforte, Geoffrey L., Slaman, Theodore A.

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 768 KB

english, 1998

24

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Effectively nowhere simple relations on computable structures

Arslanov, Marat M., Lempp, Steffen

Year:

1999

File:

PDF, 364 KB

1999

25

Deep learning features exception for cross-season visual place recognition

Kenshimov, Chingiz, Bampis, Loukas, Amirgaliyev, Beibut, Arslanov, Marat, Gasteratos, Antonios

Journal:

Pattern Recognition Letters

Year:

2017

Language:

english

File:

PDF, 982 KB

english, 2017

26

A polynomial algorithm for packing unit squares in a hypograph of a piecewise linear function

Arslanov, Marat, Amirgalieva, Zhazira, Kenshimov, Chingiz

Journal:

Open Engineering

Language:

english

File:

PDF, 356 KB

english

27

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Backmatter

Arslanov, Marat M., Lempp, Steffen

Year:

1999

Language:

english

File:

PDF, 141 KB

english, 1999

28

[IEEE 2019 International Conference on Electrotechnical Complexes and Systems (ICOECS) - Ufa, Russia (2019.10.21-2019.10.25)] 2019 International Conference on Electrotechnical Complexes and Systems (ICOECS) - Modeling of threaded connection with threaded insert

Sergeyevich, Zhernakov Vladimir, Nikolaevna, Mardimasova Tamara, Rashitovich, Arslanov Marat, Rinatovich, Akbashev Vadim

Year:

2019

File:

PDF, 405 KB

2019

29

Relative enumerability and the d-c. E. degrees

Arslanov Marat Mirzaevich

Journal:

Ученые записки Казанского университета. Серия Физико-математические науки

Year:

2012

Language:

english

File:

PDF, 202 KB

english, 2012

30

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Hyperarithmetical functions and algebraicity

Arslanov, Marat M., Lempp, Steffen

Year:

1999

Language:

english

File:

PDF, 488 KB

english, 1999

31

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Algebras of recursive functions

Arslanov, Marat M., Lempp, Steffen

Year:

1999

Language:

english

File:

PDF, 712 KB

english, 1999

32

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Weak presentations of fields not extendible to recursive presentations

Arslanov, Marat M., Lempp, Steffen

Year:

1999

Language:

english

File:

PDF, 739 KB

english, 1999

33

There is no low maximal d. c. e. degree – Corrigendum

Marat Arslanov, S. Barry Cooper, Angsheng Li

Journal:

Mathematical Logic Quarterly

Year:

2004

Language:

english

File:

PDF, 155 KB

english, 2004

34

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Jump traces with large gaps

Arslanov, Marat M., Lempp, Steffen

Year:

1999

Language:

english

File:

PDF, 300 KB

english, 1999

35

[Studies in Logic and the Foundations of Mathematics] Logic, Methodology and Philosophy of Science IX, Proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science Volume 134 || Contributions to the history of variations of weak density in the n-R.E. Degrees

Arslanov, Marat M.

Year:

1995

Language:

english

File:

PDF, 424 KB

english, 1995

36

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Polynomial-time versus computable Boolean algebras

Arslanov, Marat M., Lempp, Steffen

Year:

1999

Language:

english

File:

PDF, 1.21 MB

english, 1999

37

Density results in the Δ20 e-degrees

Marat M. Arslanov, Iskander Sh. Kalimullin, Andrea Sorbi

Journal:

Archive for Mathematical Logic

Year:

2001

Language:

english

File:

PDF, 145 KB

english, 2001

38

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Weak recursive degrees and a problem of Spector

Arslanov, Marat M., Lempp, Steffen

Year:

1999

Language:

english

File:

PDF, 215 KB

english, 1999

39

Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Jumps of Ʃ02-high e-degrees and properly Ʃ02 e-degrees

Arslanov, Marat M., Lempp, Steffen

Year:

1999

Language:

english

File:

PDF, 472 KB

english, 1999

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски